Calinescu, Radu : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres
Articles (82)
Les plus populaires
Liste
- Liste
- Tableau

1

Evaluating cloud database migration options using workload models

Ellison, Martyn, Calinescu, Radu, Paige, Richard F.

Journal:

Journal of Cloud Computing

Année:

2018

Langue:

english

Fichier:

PDF, 3.93 MB

english, 2018

2

[IEEE 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Buenos Aires, Argentina (2017.5.22-2017.5.23)] 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Self-Adaptive Role-Based Access Control for Business Processes

da Silva, Carlos Eduardo, da Silva, Jose Diego Saraiva, Paterson, Colin, Calinescu, Radu

Année:

2017

Langue:

english

Fichier:

PDF, 315 KB

english, 2017

3

[IEEE 2009 IEEE 31st International Conference on Software Engineering - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 IEEE 31st International Conference on Software Engineering - Using quantitative analysis to implement autonomic IT systems

Calinescu, Radu, Kwiatkowska, Marta

Année:

2009

Langue:

english

Fichier:

PDF, 519 KB

english, 2009

4

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering New Ideas and Emerging Results - ICSE-NIER '18 - Efficient parametric model checking using domain-specific modelling patterns

Calinescu, Radu, Johnson, Kenneth, Paterson, Colin

Année:

2018

Langue:

english

Fichier:

PDF, 204 KB

english, 2018

5

Erratum to ``Efficient synthesis of robust models for stochastic systems'' [The Journal of Systems & Software 143 (2018) 140–158]

Calinescu, Radu, Češka, Milan, Gerasimou, Simos, Kwiatkowska, Marta, Paoletti, Nicola

Journal:

Journal of Systems and Software

Année:

2018

Langue:

english

Fichier:

PDF, 133 KB

english, 2018

6

[IEEE 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Montreal, QC, Canada (2019.5.25-2019.5.25)] 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Modelling and Analysing Resilient Cyber-Physical Systems

Bennaceur, Amel, Ghezzi, Carlo, Tei, Kenji, Kehrer, Timo, Weyns, Danny, Calinescu, Radu, Dustdar, Schahram, Hu, Zhenjiang, Honiden, Shinichi, Ishikawa, Fuyuki, Jin, Zhi, Kramer, Jeffrey, Litoiu, Marin

Année:

2019

Langue:

english

Fichier:

PDF, 596 KB

english, 2019

7

[IEEE 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Montreal, QC, Canada (2019.5.25-2019.5.25)] 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans

Paterson, Colin, Calinescu, Radu, Manandhar, Suresh, Wang, Di

Année:

2019

Langue:

english

Fichier:

PDF, 1.84 MB

english, 2019

8

[IEEE 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE) - Towards Systematic Engineering of Collaborative Heterogeneous Robotic Systems

Gerasimou, Simos, Matragkas, Nicholas, Calinescu, Radu

Année:

2019

Langue:

english

Fichier:

PDF, 117 KB

english, 2019

9

[IEEE 2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) - Montreal, QC, Canada (2019.5.28-2019.5.28)] 2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) - Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

Calinescu, Radu, Camara, Javier, Paterson, Colin

Année:

2019

Langue:

english

Fichier:

PDF, 102 KB

english, 2019

10

[ACM Press the 12th IEEE/ACM International Conference - Auckland, New Zealand (2019.12.02-2019.12.05)] Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing Companion - UCC '19 Companion - Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis

Calinescu, Radu

Année:

2019

Langue:

english

Fichier:

PDF, 701 KB

english, 2019

11

Editorial

Calinescu, Radu, France, Robert, Ghezzi, Carlo

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 54 KB

english, 2013

12

[Lecture Notes in Computer Science] Large-Scale Complex IT Systems. Development, Operation and Management Volume 7539 || Multi-view Modeling and Pragmatics in 2020

Calinescu, Radu, Garlan, David

Année:

2012

Langue:

english

Fichier:

PDF, 835 KB

english, 2012

13

[Lecture Notes in Computer Science] Large-Scale Complex IT Systems. Development, Operation and Management Volume 7539 ||

Calinescu, Radu, Garlan, David

Année:

2012

Langue:

english

Fichier:

PDF, 8.59 MB

english, 2012

14

Self-adaptive software needs quantitative verification at runtime

Calinescu, Radu, Ghezzi, Carlo, Kwiatkowska, Marta, Mirandola, Raffaela

Journal:

Communications of the ACM

Année:

2012

Langue:

english

Fichier:

PDF, 1.03 MB

english, 2012

15

Big data + politics = open data: The case of health care data in England

Keen, Justin, Calinescu, Radu, Paige, Richard, Rooksby, John

Journal:

Policy & Internet

Année:

2013

Langue:

english

Fichier:

PDF, 148 KB

english, 2013

16

[IEEE 2013 IEEE 5th International Conference on Cloud Computing Technology and Science (CloudCom) - Bristol, United Kingdom (2013.12.2-2013.12.5)] 2013 IEEE 5th International Conference on Cloud Computing Technology and Science - A Systematic Review of Cloud Lock-In Solutions

Silva, Gabriel Costa, Rose, Louis M., Calinescu, Radu

Année:

2013

Langue:

english

Fichier:

PDF, 260 KB

english, 2013

17

[IEEE 2013 IEEE 5th International Conference on Cloud Computing Technology and Science (CloudCom) - Bristol, United Kingdom (2013.12.2-2013.12.5)] 2013 IEEE 5th International Conference on Cloud Computing Technology and Science - Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning

Johnson, Kenneth, Wang, Yuanzhi, Calinescu, Radu, Sommerville, Ian, Baxter, Gordon, Tucker, John V.

Année:

2013

Langue:

english

Fichier:

PDF, 516 KB

english, 2013

18

[IEEE 2013 IEEE 5th International Conference on Cloud Computing Technology and Science (CloudCom) - Bristol, United Kingdom (2013.12.2-2013.12.5)] 2013 IEEE 5th International Conference on Cloud Computing Technology and Science - Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing

Silva, Gabriel Costa, Rose, Louis M., Calinescu, Radu

Année:

2013

Langue:

english

Fichier:

PDF, 437 KB

english, 2013

19

[Lecture Notes in Computer Science] Large-Scale Complex IT Systems. Development, Operation and Management Volume 7539 || Cyber-Physical Systems: Imminent Challenges

Calinescu, Radu, Garlan, David

Année:

2012

Langue:

english

Fichier:

PDF, 1.21 MB

english, 2012

20

[IEEE 2008 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid) - Lyon, France (2008.05.19-2008.05.22)] 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID) - WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research

Zang, Tianyi, Calinescu, Radu, Harris, Steve, Tsui, Andrew, Kwiatkowska, Marta, Gibbons, Jeremy, Davies, Jim, Maccallum, Peter, Caldas, Carlos

Année:

2008

Langue:

english

Fichier:

PDF, 331 KB

english, 2008

21

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Model-driven architecture for cancer research

Calinescu, Radu, Harris, Steve, Gibbons, Jeremy, Davies, Jim, Toujilov, Igor, Nagl, Sylvia B.

Année:

2007

Langue:

english

Fichier:

PDF, 383 KB

english, 2007

22

Large-scale complex IT systems

Sommerville, Ian, Cliff, Dave, Calinescu, Radu, Keen, Justin, Kelly, Tim, Kwiatkowska, Marta, Mcdermid, John, Paige, Richard

Journal:

Communications of the ACM

Année:

2012

Langue:

english

Fichier:

PDF, 527 KB

english, 2012

23

[IEEE Third IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC 2007) - Columbia, MD, USA (2007.09.25-2007.09.26)] Third IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC 2007) - Challenges and Best Practices in Policy-Based Autonomic Architectures

Calinescu, Radu

Année:

2007

Langue:

english

Fichier:

PDF, 277 KB

english, 2007

24

[IEEE Fourth International Conference on Autonomic Computing (ICAC'07) - Jacksonville, FL, USA (2007.06.11-2007.06.15)] Fourth International Conference on Autonomic Computing (ICAC'07) - Model-Driven Autonomic Architecture

Calinescu, Radu

Année:

2007

Langue:

english

Fichier:

PDF, 117 KB

english, 2007

25

BULK-SYNCHRONOUS PARALLEL ALGORITHMS FOR QR AND QZ MATRIX FACTORISATION

CALINESCU, RADU, EVANS, DAVID J.

Journal:

Parallel Algorithms and Applications

Année:

1997

Langue:

english

Fichier:

PDF, 284 KB

english, 1997

26

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems

Issarny, Valérie, Steffen, Bernhard, Jonsson, Bengt, Blair, Gordon, Grace, Paul, Kwiatkowska, Marta, Calinescu, Radu, Inverardi, Paola, Tivoli, Massimo, Bertolino, Antonia, Sabetta, Antonino

Année:

2009

Langue:

english

Fichier:

PDF, 258 KB

english, 2009

27

[IEEE 2009 Fifth International Conference on Autonomic and Autonomous Systems - Valencia, Spain (2009.04.20-2009.04.25)] 2009 Fifth International Conference on Autonomic and Autonomous Systems - Resource-Definition Policies for Autonomic Computing

Calinescu, Radu

Année:

2009

Langue:

english

Fichier:

PDF, 395 KB

english, 2009

28

[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems

Calinescu, Radu, Rafiq, Yasmin

Année:

2013

Langue:

english

Fichier:

PDF, 311 KB

english, 2013

29

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Developing self-verifying service-based systems

Calinescu, Radu, Johnson, Kenneth, Rafiq, Yasmin

Année:

2013

Langue:

english

Fichier:

PDF, 443 KB

english, 2013

30

[IEEE 2008 IEEE Fourth International Conference on eScience (eScience) - Indianapolis, IN, USA (2008.12.7-2008.12.12)] 2008 IEEE Fourth International Conference on eScience - Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research

Zang, Tianyi, Calinescu, Radu, Harris, Steve, Tsui, Andrew, Crichton, Charles, Kwiatkowska, Marta, Gibbons, Jeremy, Davies, Jim, Brenton, James, Caldas, Carlos

Année:

2008

Langue:

english

Fichier:

PDF, 180 KB

english, 2008

31

[IEEE 2008 Fourth International Conference on Autonomic and Autonomous Systems (ICAS) - Gosier, Guadeloupe (2008.03.16-2008.03.21)] Fourth International Conference on Autonomic and Autonomous Systems (ICAS'08) - Implementation of a Generic Autonomic Framework

Calinescu, Radu

Année:

2008

Langue:

english

Fichier:

PDF, 305 KB

english, 2008

32

[IEEE 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Verona, Italy (2014.8.27-2014.8.29)] 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications - Synthesis of Adaptation Plans for Cloud Infrastructure with Hybrid Cost Models

Perez-Palacin, Diego, Mirandola, Raffaela, Calinescu, Radu

Année:

2014

Langue:

english

Fichier:

PDF, 1.62 MB

english, 2014

33

[IEEE 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC) - London, United Kingdom (2014.12.8-2014.12.11)] 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing - Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment

Ellison, Martyn, Calinescu, Radu, Paige, Richard

Année:

2014

Langue:

english

Fichier:

PDF, 126 KB

english, 2014

34

BULK SYNCHRONOUS PARALLEL ALGORITHMS FOR CONSERVATIVE DISCRETE EVENT SIMULATION∗

CALINESCU, RADU

Journal:

Parallel Algorithms and Applications

Année:

1996

Langue:

english

Fichier:

PDF, 495 KB

english, 1996

35

[ACM Press Proceeding of the second joint WOSP/SIPEW international conference - Karlsruhe, Germany (2011.03.14-2011.03.16)] Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering - ICPE '11 - Using observation ageing to improve markovian model learning in QoS engineering

Calinescu, Radu, Johnson, Kenneth, Rafiq, Yasmin

Année:

2011

Langue:

english

Fichier:

PDF, 1.72 MB

english, 2011

36

[ACM Press the 19th international doctoral symposium - Marcq-en-Bareul, France (2014.06.30-2014.07.04)] Proceedings of the 19th international doctoral symposium on Components and architecture - WCOP '14 - Semantic reasoning for autonomic IT systems

Patelli, Alina, Calinescu, Radu, Wang, Hai

Année:

2014

Langue:

english

Fichier:

PDF, 799 KB

english, 2014

37

[ACM Press the 2008 conference - Ischia, Italy (2008.05.05-2008.05.07)] Proceedings of the 2008 conference on Computing frontiers - CF '08 - Methodology for the model-driven development of self-managing systems

Calinescu, Radu

Année:

2008

Langue:

english

Fichier:

PDF, 121 KB

english, 2008

38

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - log2cloud

Perez-Palacin, Diego, Calinescu, Radu, Merseguer, José

Année:

2013

Langue:

english

Fichier:

PDF, 742 KB

english, 2013

39

[ACM Press the 5th ACM/SPEC international conference - Dublin, Ireland (2014.03.22-2014.03.26)] Proceedings of the 5th ACM/SPEC international conference on Performance engineering - ICPE '14 - Adaptive model learning for continual verification of non-functional properties

Calinescu, Radu, Rafiq, Yasmin, Johnson, Kenneth, Bakır, Mehmet Emin

Année:

2014

Langue:

english

Fichier:

PDF, 1.57 MB

english, 2014

40

[ACM Press the 10th international ACM Sigsoft conference - Marcq-en-Bareul, France (2014.06.30-2014.07.04)] Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures - QoSA '14 - Efficient re-resolution of SMT specifications for evolving software architectures

Johnson, Kenneth, Calinescu, Radu

Année:

2014

Langue:

english

Fichier:

PDF, 1.20 MB

english, 2014

41

[ACM Press the 8th workshop - Szeged, Hungary (2011.09.04-2011.09.04)] Proceedings of the 8th workshop on Assurances for self-adaptive systems - ASAS '11 - When the requirements for adaptation and high integrity meet

Calinescu, Radu

Année:

2011

Langue:

english

Fichier:

PDF, 413 KB

english, 2011

42

[ACM Press the 9th International Symposium - Hyderabad, India (2014.06.02-2014.06.03)] Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems - SEAMS 2014 - Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

Gerasimou, Simos, Calinescu, Radu, Banks, Alec

Année:

2014

Langue:

english

Fichier:

PDF, 1.38 MB

english, 2014

43

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9276 || Memory Management Test-Case Generation of C Programs Using Bounded Model Checking

Calinescu, Radu, Rumpe, Bernhard

Année:

2015

Langue:

english

Fichier:

PDF, 726 KB

english, 2015

44

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9276 || Formal Analysis of Proactive, Distributed Routing

Calinescu, Radu, Rumpe, Bernhard

Année:

2015

Langue:

english

Fichier:

PDF, 289 KB

english, 2015

45

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9276 || An Extensible Operational Semantics for UML Activity Diagrams

Calinescu, Radu, Rumpe, Bernhard

Année:

2015

Langue:

english

Fichier:

PDF, 569 KB

english, 2015

46

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9276 || Reasoning about Separation Using Abstraction and Reification

Calinescu, Radu, Rumpe, Bernhard

Année:

2015

Langue:

english

Fichier:

PDF, 494 KB

english, 2015

47

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9276 ||

Calinescu, Radu, Rumpe, Bernhard

Année:

2015

Langue:

english

Fichier:

PDF, 16.81 MB

english, 2015

48

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9276 || Model-Based Robustness Testing in Event-B Using Mutation

Calinescu, Radu, Rumpe, Bernhard

Année:

2015

Langue:

english

Fichier:

PDF, 655 KB

english, 2015

49

[IEEE 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) - Madeira, Portugal (2015.8.26-2015.8.28)] 2015 41st Euromicro Conference on Software Engineering and Advanced Applications - A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures

Johnson, Kenneth, Sinha, Roopak, Calinescu, Radu, Ruan, Ji

Année:

2015

Langue:

english

Fichier:

PDF, 412 KB

english, 2015

50

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9509 || Clustering Formulation Using Constraint Optimization

Bianculli, Domenico, Calinescu, Radu, Rumpe, Bernhard

Année:

2015

Langue:

english

Fichier:

PDF, 637 KB

english, 2015